<?xml version="1.0"?>
<api>
  <query>
    <pages>
      <page ns="0" title="API" missing="" />
      <page pageid="1" ns="0" title="Main Page">
        <revisions>
          <rev user="Pierre-Marie Pédrot" timestamp="2012-04-22T02:49:44Z" comment="added system L" xml:space="preserve">== Contents ==

* An [[introduction]] to linear logic
* Syntax
** [[Sequent calculus]]
** [[Intuitionistic linear logic]]
** [[Polarized linear logic]]
** [[Fragment|Fragments]]
** [[Proof-nets]]
** [[System L]]
** Translations of [[Translations of classical logic|classical]] and [[Translations of intuitionistic logic|intuitionistic]] logics
* [[Semantics]]
** [[Coherent semantics]]
** [[Phase semantics]]
** [[Categorical semantics]]
** [[Relational semantics]]
** [[Finiteness semantics]]
** [[Geometry of interaction]]
** [[Game semantics]]
* [[Light linear logics]]

== Getting started ==

* Please read the [[recommendations]] before edition in this wiki.
* If you are familiar with these [[recommendations]] (are you?) and only want a reference of available LaTeX macros, see [[LLWiki LaTeX Style]].
* Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
* You can use the [[sandbox]] for tests.
* [[Special:Wantedpages|Wanted pages]].

&lt;!--
* [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list]
* [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ]
* [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]
--&gt;</rev>
        </revisions>
      </page>
    </pages>
  </query>
</api>